$\forall$$a$:$\mathbb{Z}$, $b$:$\mathbb{Z}^{-\circ}$. ($\mid$$a$$\mid$ $<$ $\mid$$b$$\mid$) $\Rightarrow$ (($a$ rem $b$) = $a$)